Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed]

Source URL: www.automata.rwth-aachen.de

• Applied mathematics
• Ω-automaton
• Algorithm
• Tree automaton
• Finite-state machine
• Automata theory
• Theoretical computer science
• Computer science

Learning Universally Quantified Invariants of Linear Data Structures Pranav Garg1 , Christof L¨oding2 , P. Madhusudan1 , and Daniel Neider2 1 University of Illinois at Urbana-Champaign

Source URL: www.automata.rwth-aachen.de

• Automata theory
• Models of computation
• Logic in computer science
• Formal methods
• Computability theory
• Satisfiability Modulo Theories
• Lookup table
• Deterministic finite automaton
• Decision problem
• Theoretical computer science
• Applied mathematics
• Mathematics

Strategy Composition in Compositional Games Marcus Gelderie? RWTH Aachen, Lehrstuhl für Informatik 7, Logic and Theory of Discrete Systems, D[removed]Aachen [removed]

Source URL: www.automata.rwth-aachen.de

• Determinacy
• Symbol

, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Verication * DAVID BASIN

Source URL: www.brics.dk

• Formal languages
• Predicate logic
• Boolean algebra
• Automata theory
• Propositional variable
• Binary decision diagram
• FO
• Finite-state machine
• Well-formed formula
• Logic
• Mathematics
• Mathematical logic

Aachen Department of Computer Science Technical Report Languages of Infinite Traces and Deterministic Asynchronous Automata

Source URL: www.automata.rwth-aachen.de

• Ω-automaton
• Representation theory of finite groups
• Automata theory
• Symbol
• Muller automaton

Playing Pushdown Parity Games in a Hurry Wladimir Fridman Martin Zimmermann Chair of Computer Science 7

Source URL: www.automata.rwth-aachen.de

• Graph theory
• Combinatorics
• Finite model theory
• Game theory
• Parity game
• Models of computation
• End
• Determinacy
• Graph
• Mathematics
• Theoretical computer science
• Automata theory

Improving the Capabilities of JFLAP Creating Effective User Interfaces in Learning for Theoretical Computer Science Ian C. McMahon Computer Science Department Duke University

Source URL: www.cs.duke.edu

• Theoretical computer science
• Computer science
• Finite-state machine
• Deterministic finite automaton
• Nondeterministic finite automaton
• Deterministic pushdown automaton
• Turing machine
• Mealy machine
• Algorithm
• Models of computation
• Theory of computation
• Automata theory

September 5, [removed]:17 WSPC/INSTRUCTION FILE

Source URL: www.automata.rwth-aachen.de

• End
• Power set
• Parity game
• Graph
• Graph theory
• Mathematics
• Game theory

Linear temporal logic for regular cost functions

Source URL: www.liafa.univ-paris-diderot.fr

Applications of Tree Automata Theory Lecture VI: Back to Machine Translation Andreas Maletti Institute of Computer Science Universität Leipzig, Germany on leave from: Institute for Natural Language Processing

Source URL: www.ims.uni-stuttgart.de

• Complexity classes
• Mathematical optimization
• NP
• P versus NP problem
• Theoretical computer science
• Mysteries
• Applied mathematics